Copy texinfo.tex unconditionally.

diff --git a/make-dist b/make-dist
index a8247415ab769c85fe458d769149efaf711b645c..f374dc3c5f53f90c84ed1bb676d31580f5466e46 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -588,7 +588,7 @@ echo "Making links to \`man'"
  test -f Makefile.in && ln Makefile.in ../${tempdir}/man
  ln ChangeLog ../${tempdir}/man
  test -f split-man && ln split-man ../${tempdir}/man
- test -f texinfo.tex && cp texinfo.tex ../${tempdir}/man
+ cp texinfo.tex ../${tempdir}/man
  cd ../${tempdir}/man
  rm -f \#*\# =* *~ core emacs-index* *.Z *.z xmail
  rm -f emacs.?? termcap.?? gdb.?? *.log *.toc *.dvi *.oaux)